Shared Contract-Obedient Endpoints

Shared Contract-Obedient Endpoints

Most of the existing verification techniques for message-passing programs suppose either that channel endpoints are used in a linear fashion, where at most one thread may send or receive from an endpoint at any given time, or that endpoints may be used arbitrarily by any number of threads. The former approach usually forbids the sharing of channels while the latter limits what is provable about...

Shared contract-obedient channels

Article history: Received 15 January 2013 Received in revised form 24 May 2014 Accepted 22 September 2014 Available online 2 October 2014

Contract for : Shared - cost RTD

Contract for : Shared - cost RTD

Operative commencement date of the contract: the first day of the month after the last signature of the contracting parties

Obedient and Wayward Synaptic Behavior

Synapse formation is a complex process that culminates in the linking up and locking in of pre- and postsynaptic membranes. Shen at al. (2004 [this issue of Cell]) begin to dissect the molecular instructions that govern target selection of pre- and postsynaptic membrane interactions.